Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
551	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
552	Assessing the Credibility of Forecasts Using International Futures (IFs): Verification and Validation Barry B. Hughes Add to Reading List Source URL: www.ifs.du.edu Language: English - Date: 2007-05-25 06:58:20 Formal methods Scientific modeling Ethology Quality Knowledge Verification and validation Validation International Futures Economic model Science Pharmaceutical industry Validity
553	Institute e-Austria Timisoara IeAT Advancing Information Technology through Add to Reading List Source URL: www.ieat.ro Language: English - Date: 2013-07-08 03:40:06 Romanian media Framework Programmes for Research and Technological Development Computer science Research Institute for Symbolic Computation Formal verification European Union Europe Formal methods .ro Internet in Romania
554	From: AAAI Technical Report FS[removed]Compilation copyright © 1993, AAAI (www.aaai.org). All rights reserved. VACUUM-LOGIC Jennifer J. Elgot-Drapkin* Department of Computer Science and Engineering Box[removed] Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 02:42:00 Science Non-monotonic logic Modal logic Temporal logic Argument Default logic Formal verification Logic Non-classical logic Mathematical logic
555	Shuntaint: Emulation-based Security Testing for Formal Verification Bruno Luiz [removed] Add to Reading List Source URL: blackhat.com Language: English - Date: 2014-12-16 19:06:29 Memory management Debuggers Profilers Valgrind C dynamic memory allocation Low-level programming language C Stack Computing Computer programming Software engineering
556	Shuntaint: Emulation-based Security Testing for Formal Verification Bruno Luiz [removed] Add to Reading List Source URL: blackhat.com Language: English - Date: 2014-12-16 19:06:29 Data types Primitive types Debuggers Software bugs Profilers Valgrind Pointer C Stack Computing Software engineering Computer programming
557	Cooperative Verification of the Dismantlement of a Uranium Gas Centrifuge Program Add to Reading List Source URL: isis-online.org Language: English - Date: 2009-08-05 11:20:26 Disarmament International Atomic Energy Agency David Albright Formal verification Verification and validation Applied mathematics Nuclear proliferation International relations Institute for Science and International Security
558	Formal Verification of Maneuver Automata for Parameterized Motion Primitives Daniel Heß, Matthias Althoff, Thomas Sattel Abstract— An increasing amount of robotic systems is developed for safety-critical scenarios, su Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2015-01-04 13:14:18 Ballistics Kinematics Dynamical system Trajectory Physics Classical mechanics Mechanics
559	MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No3 – PUBLIC USE Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2013-12-18 10:47:53 Validity Science Technology Formal methods Software quality Validation Verification and validation Software development process Verification Systems engineering Software development Pharmaceutical industry
560	Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Logic Game semantics Denotational semantics Formal verification Programming language International Colloquium on Automata Languages and Programming Formal methods Mathematical logic Model checking Theoretical computer science Logic in computer science Applied mathematics

UPDATE